аксиома

  • 181Плоскость Лобачевского — Геометрия Лобачевского (гиперболическая геометрия) одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на… …

    Википедия

  • 182Полнота теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак …

    Википедия

  • 183Постулат — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат  утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… …

    Википедия

  • 184Постулирование — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат  утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… …

    Википедия

  • 185Постулят — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат  утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… …

    Википедия

  • 186Противоречивость теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак …

    Википедия

  • 187Разрешимость теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак …

    Википедия

  • 188Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …

    Википедия

  • 189истина — Правда, аксиома. Истина азбучная, голая, горькая, непреложная, непререкаемая, святая. Говорит правду, режет правду матку, истина глаголет его устами. Это принято за аксиому. Выбрил ему всю правду матку в глаза. . Прот …

    Словарь синонимов

  • 190логицизм —         ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… …

    Энциклопедия эпистемологии и философии науки

  • 191Теория ожидаемой полезности — В экономике, теории игр, теории принятия решений теория ожидаемой полезности  помогает с помощью неопределенности оценить полезность блага с точностью до положительного аффинного преобразования. Содержание 1 Виднейшие представители …

    Википедия

  • 192ЕВКЛИД Александрийский (предположительно 330-277 до н.э.) — математик Александрийской школы Древней Греции, автор первого дошедшего до нас трактата по математике. Е. (возможно) получил образование в Академии Платона (Афины). Свои труды Е. писал по единой схеме в форме дедуктивно систематизированных… …

    История Философии: Энциклопедия

  • 193ВЕРА — один из главных феноменов человеческой жизни. По своей природе В. разделяется на религ. и нерелиг. «Все, что совершается в мире, даже людьми, чуждыми Церкви, совершается верою... весьма многие дела человеческие основаны на вере; и этому не одни… …

    Православная энциклопедия

  • 194Аксиоматическая теория множеств —         формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… …

    Большая советская энциклопедия

  • 195Архимед — (Archimedes; около 287 212 до н. э.)         древнегреческий учёный, математик и механик. Развил методы нахождения площадей поверхностей и объёмов различных фигур и тел. Его математические работы намного опередили своё время и были правильно… …

    Большая советская энциклопедия

  • 196Евклидова геометрия —         геометрия, систематическое построение которой было впервые дано в 3 в. до н. э. Евклидом. Система аксиом Е. г. опирается на следующие основные понятия: точка, прямая, плоскость, движение и следующие отношения: «точка лежит на прямой на… …

    Большая советская энциклопедия

  • 197Начала Евклида — («Начала» Евклида)         научное произведение, написанное Евклидом в 3 в. до н. э., содержащее основы античной математики: элементарной геометрии, теории чисел, алгебры, общей теории отношений и метода определения площадей и объёмов,… …

    Большая советская энциклопедия

  • 198Неевклидовы геометрии —         в буквальном понимании все геометрические системы, отличные от геометрии Евклида; однако обычно термин «Н. г.» применяется лишь к геометрическим системам (отличным от геометрии Евклида), в которых определено движение фигур, причём с той… …

    Большая советская энциклопедия

  • 199МНОЖЕСТВ ТЕОРИЯ — Под множеством понимается совокупность каких либо объектов, называемых элементами множества. Теория множеств занимается изучением свойств как произвольных множеств, так и множеств специального вида независимо от природы образующих их элементов.… …

    Энциклопедия Кольера

  • 200БЕСКОНЕЧНОЕ —         филос. категория, характеризующая неисчерпаемость материи и движения, многообразие явлений и предметов материального мира, форм и тенденций его развития. Признавая объективное существование Б. в природе, диалектич. материализм отвергает… …

    Философская энциклопедия